$\forall$$m$:$\mathbb{N}$, $n$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$m$}}$. upto($m$)[$n$] $=$ $n$ $\in$ $\mathbb{Z}$